Sfoglia per Rivista KI. KUNSTLICHE INTELLIGENZ
Mostrati risultati da 1 a 4 di 4
Aggregates in Answer Set Programming
2018-01-01 Alviano, M.; Faber, W.
The ASP System DLV: Advancements and Applications
2018-01-01 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
Developing ASP programs with ASPIDE and LoIDE
2018-01-01 Calimeri, Francesco; Germano, Stefano; Palermiti, Eliana; Reale, Kristian; Ricca, Francesco
The DLVHEX System
2018-01-01 Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Aggregates in Answer Set Programming | 1-gen-2018 | Alviano, M.; Faber, W. | |
The ASP System DLV: Advancements and Applications | 1-gen-2018 | Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fusca', Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica | |
Developing ASP programs with ASPIDE and LoIDE | 1-gen-2018 | Calimeri, Francesco; Germano, Stefano; Palermiti, Eliana; Reale, Kristian; Ricca, Francesco | |
The DLVHEX System | 1-gen-2018 | Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile